机译:奇偶性Positivstellensatz微积分证明度的线性下界
机译:非恒定度下界表示线性度下界
机译:锡顿语逻辑的静态LOVASZ-SCHRIJVER演算的下界
机译:Tseitin重言式的静态Lovasz-Schrijver微积分证明的下界
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:水稻衰落环境下基于线性调频的有源雷达网络的Cramer-Rao下界评估
机译:奇偶性Positivstellensatz微积分证明度的线性下界
机译:211平分态positivstellensatz微积分证明度的线性下界